Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
231	BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 35, Number 1, January 1998, Pages 99–104 Add to Reading List Source URL: www.ams.org Language: English - Date: 2012-06-12 18:16:01 Mathematics Stochastic calculus Integral calculus Mathematical finance Measure theory Malliavin calculus Cameron–Martin theorem Wiener process Law Mathematical analysis Statistics Stochastic processes
232	BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 44, Number 3, July 2007, Pages 487–492 Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:35:20 Stochastic calculus Integral calculus Mathematical finance Stochastic processes Calculus of variations Malliavin calculus Calculus Wiener process Hilbert space Mathematical analysis Statistics Mathematics
233	The Monte Carlo Method Nicholas Metropolis; S. Ulam Journal of the American Statistical Association, Vol. 44, No[removed]Sep., 1949), pp[removed]. Add to Reading List Source URL: home.gwu.edu Language: English - Date: 2008-08-28 22:23:50 Quantum mechanics Computational physics Equations Schrödinger equation Partial differential equation Ordinary differential equation Parameter Stochastic process Expected value Statistics Mathematics Calculus
234	The Work of Kyosi Itô Philip Protter Add to Reading List Source URL: www.ams.org Language: English - Date: 2008-01-24 14:44:04 Martingale theory Integral calculus Mathematical finance Itō calculus Wiener process Norbert Wiener Integral Stochastic differential equation Kiyoshi Itō Statistics Stochastic processes Stochastic calculus
235	Proceedings of the International Congress of Mathematicians Helsinki, 1978 Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:39:40 Probability theory Semimartingale Martingale Local martingale Lévy process Integral Stochastic calculus Continuous function Itō calculus Statistics Stochastic processes Martingale theory
236	A Theoretical Basis of Communication-Centred Concurrent Programming Add to Reading List Source URL: www.w3.org Language: English - Date: 2006-10-23 12:21:19 Computing Computer science Process calculus Lambda calculus Π-calculus Calculus WS-CDL Actor model and process calculi history Process calculi Theoretical computer science Applied mathematics
237	A Compositional Approach to Performance Modelling Jane Hillston Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-10-04 12:20:33 Mathematics Process calculi Applied mathematics Markov models Stochastic processes Bisimulation Markov chain PEPA Process calculus Statistics Markov processes Theoretical computer science
238	PDF Document Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2004-01-13 10:32:24 Formal methods Process calculus Denotational semantics Algebra of Communicating Processes Communicating sequential processes Algebraic structure Universal algebra Construction and Analysis of Distributed Processes Calculus of communicating systems Process calculi Theoretical computer science Mathematics
239	doi:[removed]j.entcs[removed] Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2007-09-04 04:02:48 Jan Bergstra Process calculus Algebra of Communicating Processes Abstract algebra Computer science Communicating sequential processes Algebraic logic Axiom Algebra Process calculi Computing Software
240	PDF Document Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2002-05-10 05:45:51 Formal methods Software development methodology Software development process Computer science Reliability engineering Process calculus Software prototyping Agile software development Software development Software Science